#0Y_ #0Y |CHARSET|::|UTF-8|
(|COMMON-LISP|::|SETQ| |COMMON-LISP|::|*PACKAGE*|
 (|SYSTEM|::|%FIND-PACKAGE| "qi"))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|SPECIAL| |qi|::|*logical-inferences*| |qi|::|*closures*|
   |qi|::|*userdefs*| |qi|::|*currfunc*| |qi|::|*dump-file*|
   |qi|::|*strong-warning*| |qi|::|*tempsigs*|
   |qi|::|*read-user-input-characters*| |qi|::|*version*| |qi|::|*exempted*|
   |qi|::|*synonyms*| |qi|::|*allsynonyms*| |qi|::|*maxinferences*|
   |qi|::|*licence*| |qi|::|*start-time*| |qi|::|*thm*| |qi|::|*atp-prompt*|
   |qi|::|*complexity-bound*| |qi|::|*occurs*| |qi|::|*usertypes*|
   |qi|::|*all-usertypes*| |qi|::|*collect*| |qi|::|*problem*| |qi|::|*start*|
   |qi|::|*tactic*| |qi|::|*atp-prompt*| |qi|::|*proof*| |qi|::|*call*|
   |qi|::|*arith*| |qi|::|*assoctypes*| |qi|::|*arity*| |qi|::|*sfht*|
   |qi|::|*tc*| |qi|::|*display-rb*| |qi|::|*inferences*| |qi|::|*history*|
   |qi|::|*qi_home_directory*| |qi|::|*special_forms*| |qi|::|*turbo*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|waffle-off|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|OPTIMIZE| (|COMMON-LISP|::|SPEED| 3.)
   (|COMMON-LISP|::|SAFETY| 0.)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fix-closures|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*sysfuncs*|))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|define|)
(|SYSTEM|::|%PUTD| '|qi|::|define|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|define|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|LET*|
     ((|qi|::|X| (|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
     (|COMMON-LISP|::|BLOCK| |qi|::|define|
      `(|COMMON-LISP|::|COMPILE|
        (|COMMON-LISP|::|EVAL|
         (|qi|::|compile| '|qi|::|<qi_compile>|
          (|qi|::|remove-escape| ',|qi|::|X|))))))))
  '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|remove-escape|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Code|)))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|SPECIAL| |qi|::|*qi-failure-object*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|<qi_compile>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|procedure_T*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5371| |qi|::|V5372| |qi|::|V5373| |qi|::|V5374|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|specialise_type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5379| |qi|::|V5380|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|gensym|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|type_rule?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5381| |qi|::|V5382| |qi|::|V5383| |qi|::|V5384|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|integrity?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5401| |qi|::|V5402| |qi|::|V5403| |qi|::|V5404| |qi|::|V5405|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|extract_variables|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V861|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|build_patt_env|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5407|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|raise_type_failure|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5408| |qi|::|V5409| |qi|::|V5410|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|stvars|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5411|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|correct?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5412| |qi|::|V5413| |qi|::|V5414| |qi|::|V5415| |qi|::|V5416|
    |qi|::|V5417|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|stvars_action|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5422| |qi|::|V5423|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|pback|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5429| |qi|::|V5430|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|execute_correctness_proof|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5438| |qi|::|V5439| |qi|::|V5440| |qi|::|V5441| |qi|::|V5442|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|verification_conditions|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5445|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|build_action_env|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V21647| |qi|::|V21648| |qi|::|V21649|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|curry_type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V8|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<name>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|sysfunc?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5452|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<signature>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<signature-help>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<rules>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<rule>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<arrow>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<patterns>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<pattern>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<simple_pattern>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<pattern1>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<pattern2>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<action>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<guard>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|escape?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5464|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|left_linearise|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5465|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fix|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5467| |qi|::|V5468|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fix*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5476| |qi|::|V5477| |qi|::|V5478|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|left_linearise*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5479|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rpted_v|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5487|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rpted_v*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5493|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|left_linearise_v|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5503| |qi|::|V5504| |qi|::|V5505|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_to_machine_code|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5508| |qi|::|V5509|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|check_variable_occurrences|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5510|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|check_variable_occurrence|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5515|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|extract_free_vars|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5517|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|extract_free_vars*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V42| |qi|::|V43| |qi|::|V44|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|union|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|x| |qi|::|y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|ABSEQUAL|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|COMMON-LISP|::|LET| |COMMON-LISP|::|NIL|
 (|COMMON-LISP|::|LET|
  ((#1=#:|G4322|
    (|COMMON-LISP|::|CONS| '|qi|::|TUPLE|
     (|CLOS|::|CLASS-NAMES|
      (|COMMON-LISP|::|GET| '|COMMON-LISP|::|STRUCTURE-OBJECT|
       '|CLOS|::|CLOSCLASS|)))))
  (|SYSTEM|::|STRUCTURE-UNDEFINE-ACCESSORIES| '|qi|::|TUPLE|)
  (|COMMON-LISP|::|REMPROP| '|qi|::|TUPLE| '|SYSTEM|::|DEFSTRUCT-DESCRIPTION|)
  (|CLOS|::|DEFINE-STRUCTURE-CLASS| '|qi|::|TUPLE| #1# '|COMMON-LISP|::|NIL|
   '(|qi|::|@p|) '|qi|::|COPY-TUPLE| '|qi|::|TUPLE-P|
   (|COMMON-LISP|::|LIST|
    (|CLOS|::|MAKE-INSTANCE-<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>|
     |CLOS|::|<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>| :|NAME| '|qi|::|fst|
     :|INITARGS| '#2=(:|fst|) :|TYPE| '|COMMON-LISP|::|T| :|ALLOCATION|
     ':|INSTANCE| #3='|CLOS|::|INHERITABLE-INITER|
     (|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
      #4=(|SYSTEM|::|MAKE-CONSTANT-INITFUNCTION| |COMMON-LISP|::|NIL|))
     #5='|CLOS|::|INHERITABLE-DOC| '(|COMMON-LISP|::|NIL|)
     #6='|CLOS|::|LOCATION| '1. #7='|CLOS|::|READONLY| '|COMMON-LISP|::|NIL|)
    (|CLOS|::|MAKE-INSTANCE-<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>|
     |CLOS|::|<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>| :|NAME| '|qi|::|snd|
     :|INITARGS| '#8=(:|snd|) :|TYPE| '|COMMON-LISP|::|T| :|ALLOCATION|
     ':|INSTANCE| #3#
     (|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
      #9=(|SYSTEM|::|MAKE-CONSTANT-INITFUNCTION| |COMMON-LISP|::|NIL|))
     #5# '(|COMMON-LISP|::|NIL|) #6# '2. #7# '|COMMON-LISP|::|NIL|))
   (|COMMON-LISP|::|LIST|
    (|CLOS|::|MAKE-INSTANCE-<STRUCTURE-DIRECT-SLOT-DEFINITION>|
     |CLOS|::|<STRUCTURE-DIRECT-SLOT-DEFINITION>| :|NAME| '|qi|::|fst|
     :|INITARGS| '#2# :|TYPE| '|COMMON-LISP|::|T| :|ALLOCATION| ':|INSTANCE|
     #10='|CLOS|::|INHERITABLE-INITER|
     (|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
      #4#)
     #11='|CLOS|::|INHERITABLE-DOC| '(|COMMON-LISP|::|NIL|) :|READERS|
     '(|qi|::|fst|) :|WRITERS| '((|COMMON-LISP|::|SETF| |qi|::|fst|)))
    (|CLOS|::|MAKE-INSTANCE-<STRUCTURE-DIRECT-SLOT-DEFINITION>|
     |CLOS|::|<STRUCTURE-DIRECT-SLOT-DEFINITION>| :|NAME| '|qi|::|snd|
     :|INITARGS| '#8# :|TYPE| '|COMMON-LISP|::|T| :|ALLOCATION| ':|INSTANCE|
     #10#
     (|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
      #9#)
     #11# '(|COMMON-LISP|::|NIL|) :|READERS| '(|qi|::|snd|) :|WRITERS|
     '((|COMMON-LISP|::|SETF| |qi|::|snd|))))
   '|COMMON-LISP|::|NIL|)
  (|COMMON-LISP|::|DEFUN| |qi|::|@p|
   (|qi|::|fst| |qi|::|snd| |COMMON-LISP|::|&AUX|)
   (|COMMON-LISP|::|LET|
    ((|SYSTEM|::|OBJECT| (|SYSTEM|::|%MAKE-STRUCTURE| #1# 3.)))
    (|COMMON-LISP|::|SETF|
     (|SYSTEM|::|%STRUCTURE-REF| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 1.)
     (|COMMON-LISP|::|THE| |COMMON-LISP|::|T| |qi|::|fst|))
    (|COMMON-LISP|::|SETF|
     (|SYSTEM|::|%STRUCTURE-REF| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 2.)
     (|COMMON-LISP|::|THE| |COMMON-LISP|::|T| |qi|::|snd|))
    |SYSTEM|::|OBJECT|)))
 (|COMMON-LISP|::|PROCLAIM| '(|COMMON-LISP|::|INLINE| |qi|::|TUPLE-P|))
 (|COMMON-LISP|::|DEFUN| |qi|::|TUPLE-P| (|SYSTEM|::|OBJECT|)
  (|SYSTEM|::|%STRUCTURE-TYPE-P| '|qi|::|TUPLE| |SYSTEM|::|OBJECT|))
 (|COMMON-LISP|::|PROCLAIM| '(|COMMON-LISP|::|INLINE| |qi|::|COPY-TUPLE|))
 (|COMMON-LISP|::|DEFUN| |qi|::|COPY-TUPLE| (|COMMON-LISP|::|STRUCTURE|)
  (|COMMON-LISP|::|COPY-STRUCTURE| |COMMON-LISP|::|STRUCTURE|))
 (|COMMON-LISP|::|PROCLAIM|
  '(|COMMON-LISP|::|FUNCTION| |qi|::|fst| (|qi|::|TUPLE|) |COMMON-LISP|::|T|))
 (|COMMON-LISP|::|PROCLAIM| '(|COMMON-LISP|::|INLINE| |qi|::|fst|))
 (|COMMON-LISP|::|DEFUN| |qi|::|fst| #12=(|SYSTEM|::|OBJECT|)
  (|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
   (|SYSTEM|::|%STRUCTURE-REF| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 1.)))
 (|SYSTEM|::|%PUT| '|qi|::|fst| #13='|SYSTEM|::|DEFSTRUCT-READER|
  '|qi|::|TUPLE|)
 (|COMMON-LISP|::|PROCLAIM|
  '(|COMMON-LISP|::|FUNCTION| |qi|::|snd| (|qi|::|TUPLE|) |COMMON-LISP|::|T|))
 (|COMMON-LISP|::|PROCLAIM| '(|COMMON-LISP|::|INLINE| |qi|::|snd|))
 (|COMMON-LISP|::|DEFUN| |qi|::|snd| #12#
  (|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
   (|SYSTEM|::|%STRUCTURE-REF| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 2.)))
 (|SYSTEM|::|%PUT| '|qi|::|snd| #13# '|qi|::|TUPLE|)
 (|COMMON-LISP|::|PROCLAIM|
  '(|COMMON-LISP|::|FUNCTION| (|COMMON-LISP|::|SETF| |qi|::|fst|)
    (|COMMON-LISP|::|T| |qi|::|TUPLE|) |COMMON-LISP|::|T|))
 (|COMMON-LISP|::|PROCLAIM|
  '(|COMMON-LISP|::|INLINE| (|COMMON-LISP|::|SETF| |qi|::|fst|)))
 (|COMMON-LISP|::|DEFUN| (|COMMON-LISP|::|SETF| |qi|::|fst|)
  #14=(|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|)
  (|SYSTEM|::|%STRUCTURE-STORE| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 1.
   |SYSTEM|::|VALUE|))
 (|SYSTEM|::|%PUT| '|qi|::|fst| #15='|SYSTEM|::|DEFSTRUCT-WRITER|
  '|qi|::|TUPLE|)
 (|COMMON-LISP|::|PROCLAIM|
  '(|COMMON-LISP|::|FUNCTION| (|COMMON-LISP|::|SETF| |qi|::|snd|)
    (|COMMON-LISP|::|T| |qi|::|TUPLE|) |COMMON-LISP|::|T|))
 (|COMMON-LISP|::|PROCLAIM|
  '(|COMMON-LISP|::|INLINE| (|COMMON-LISP|::|SETF| |qi|::|snd|)))
 (|COMMON-LISP|::|DEFUN| (|COMMON-LISP|::|SETF| |qi|::|snd|) #14#
  (|SYSTEM|::|%STRUCTURE-STORE| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 2.
   |SYSTEM|::|VALUE|))
 (|SYSTEM|::|%PUT| '|qi|::|snd| #15# '|qi|::|TUPLE|)
 (|CLOS|::|DEFMETHOD| |CLOS|::|PRINT-OBJECT|
  ((|SYSTEM|::|STRUCT| |qi|::|TUPLE|) |COMMON-LISP|::|STREAM|)
  (|COMMON-LISP|::|PROGN|
   ((|COMMON-LISP|::|LAMBDA| (|qi|::|Struct| |qi|::|Stream| |qi|::|Depth|)
     (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |qi|::|Depth|))
     (|qi|::|print_tuple| |qi|::|Struct| |qi|::|Stream|))
    |SYSTEM|::|STRUCT| |COMMON-LISP|::|STREAM| |SYSTEM|::|*PRIN-LEVEL*|)))
 '|qi|::|TUPLE|)
(|SYSTEM|::|C-DEFUN| '|qi|::|@p|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|fst| |qi|::|snd| |COMMON-LISP|::|&AUX|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|INLINE| |qi|::|TUPLE-P|))
(|SYSTEM|::|C-DEFUN| '|qi|::|TUPLE-P|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|SYSTEM|::|OBJECT|))
 '(#1# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| |qi|::|TUPLE-P|))
   (|COMMON-LISP|::|BLOCK| |qi|::|TUPLE-P|
    (|SYSTEM|::|%STRUCTURE-TYPE-P| '|qi|::|TUPLE| |SYSTEM|::|OBJECT|))))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|INLINE| |qi|::|COPY-TUPLE|))
(|SYSTEM|::|C-DEFUN| '|qi|::|COPY-TUPLE|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|COMMON-LISP|::|STRUCTURE|))
 '(#1# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| |qi|::|COPY-TUPLE|))
   (|COMMON-LISP|::|BLOCK| |qi|::|COPY-TUPLE|
    (|COMMON-LISP|::|COPY-STRUCTURE| |COMMON-LISP|::|STRUCTURE|))))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|FUNCTION| |qi|::|fst| (|qi|::|TUPLE|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|INLINE| |qi|::|fst|))
(|SYSTEM|::|C-DEFUN| '|qi|::|fst|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|SYSTEM|::|OBJECT|))
 '(#1# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| |qi|::|fst|))
   (|COMMON-LISP|::|BLOCK| |qi|::|fst|
    (|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
     (|SYSTEM|::|%STRUCTURE-REF| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 1.)))))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|FUNCTION| |qi|::|snd| (|qi|::|TUPLE|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|INLINE| |qi|::|snd|))
(|SYSTEM|::|C-DEFUN| '|qi|::|snd|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|SYSTEM|::|OBJECT|))
 '(#1# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| |qi|::|snd|))
   (|COMMON-LISP|::|BLOCK| |qi|::|snd|
    (|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
     (|SYSTEM|::|%STRUCTURE-REF| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 2.)))))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|FUNCTION| (|COMMON-LISP|::|SETF| |qi|::|fst|)
   (|COMMON-LISP|::|T| |qi|::|TUPLE|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|INLINE| (|COMMON-LISP|::|SETF| |qi|::|fst|)))
(|SYSTEM|::|C-DEFUN| '#1=(|COMMON-LISP|::|SETF| |qi|::|fst|)
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '#2=(|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|))
 '(#2# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| #1#))
   (|COMMON-LISP|::|BLOCK| |qi|::|fst|
    (|SYSTEM|::|%STRUCTURE-STORE| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 1.
     |SYSTEM|::|VALUE|))))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|FUNCTION| (|COMMON-LISP|::|SETF| |qi|::|snd|)
   (|COMMON-LISP|::|T| |qi|::|TUPLE|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|INLINE| (|COMMON-LISP|::|SETF| |qi|::|snd|)))
(|SYSTEM|::|C-DEFUN| '#1=(|COMMON-LISP|::|SETF| |qi|::|snd|)
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '#2=(|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|))
 '(#2# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| #1#))
   (|COMMON-LISP|::|BLOCK| |qi|::|snd|
    (|SYSTEM|::|%STRUCTURE-STORE| '|qi|::|TUPLE| |SYSTEM|::|OBJECT| 2.
     |SYSTEM|::|VALUE|))))
(|SYSTEM|::|C-DEFUN| '|CLOS|::|PRINT-OBJECT|
 #(2. 0. |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
   |COMMON-LISP|::|NIL|)
 |COMMON-LISP|::|NIL| '|CLOS|::|DEFMETHOD|)
(|SYSTEM|::|C-DEFUN| '|qi|::|print_tuple|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Tuple| |qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|tuple?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_to_lambda+|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5535| |qi|::|V5536|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|get-lambda|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Name|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|check_choicepoint|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5537|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|bld_abs|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5542| |qi|::|V5543|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|mkVs|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5544|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|arity|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5547| |qi|::|V5548|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|arity_rule|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5550|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_to_lambda+_rules|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5554| |qi|::|V5555|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_to_lambda+_rule|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5557| |qi|::|V5558| |qi|::|V5559|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|bld_app|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5560| |qi|::|V5561|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_to_lambda|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5562|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_combinator_body|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5563|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|beta_reduce|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5565|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|beta_reduce*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5566| |qi|::|V5567|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|substf|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V63| |qi|::|V64| |qi|::|V65|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|atom?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5602|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_to_lisp|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|listify|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|listify-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V8| |qi|::|V9|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|test_ignore_declarations|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V90| |qi|::|V91| |qi|::|V92|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_ignore|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1| |qi|::|V2|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|find_and_bind_choicepoints|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5615|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|find_choicepoints|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5620|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|bind_choicepoints|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5622| |qi|::|V5623|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|choicepoint?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5632|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|coerce|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|check_choicepoint?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5639|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|record_source|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5640|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|factorise-if-turbo|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Code|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|factorise|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V2|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|factor|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V7|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|tag|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V14| |qi|::|V15| |qi|::|V16| |qi|::|V17|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|redirect-tag|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V27| |qi|::|V28| |qi|::|V29|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|turbo-optimise-car/cdr|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V43| |qi|::|V44|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|occ-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V61| |qi|::|V62| |qi|::|V63| |qi|::|V64|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|reachable?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V74| |qi|::|V75|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|return|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V76|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|part|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V78| |qi|::|V79| |qi|::|V80|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|dumped?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|write-to-dump-file|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5662|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_type_declarations|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V41|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_type_declaration|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V59| |qi|::|V60| |qi|::|V61|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|assoctype|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V63|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|assoctype-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V76| |qi|::|V77|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|initialise-assoctypes|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|list_type?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V96|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|get_type_of_func|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|F|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|optimise_lisp|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V405|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|pp|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|simple_map?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5364|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|optimise_car/cdr|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5776|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|turbo|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V14|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|isocar/cdrs|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5775|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|occ*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5777|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|occ**|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5783| |qi|::|V5784| |qi|::|V5785| |qi|::|V5786|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|occurrences|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5797| |qi|::|V5798|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|smallnum?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5803|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_errmess|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5363| |qi|::|V5364|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|f_error|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|params|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5812|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|body|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5814|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lisp_body|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5817| |qi|::|V5818|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lisp_case|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5819| |qi|::|V5820|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lisp_code_tests|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5821| |qi|::|V5822|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lisp_code_test|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5823| |qi|::|V5824|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|arith?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5828|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*arith*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|map_arith|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|x|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|wrapper|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Test|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lisp_code|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V72| |qi|::|V73|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|partial_application?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5853| |qi|::|V5854|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|check_arityf|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5861| |qi|::|V5862| |qi|::|V5863|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|apply|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5864| |qi|::|V5865|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|closure?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|make-closure|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5866|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|make_closure*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V22597| |qi|::|V22598| |qi|::|V22599|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|/.|)
(|SYSTEM|::|%PUTD| '|qi|::|/.|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|/.|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 3. 3.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|X| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|Body| (|COMMON-LISP|::|CADDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|/.|
       `#'(|COMMON-LISP|::|LAMBDA| (,|qi|::|X|) ,|qi|::|Body|))))))
  '(|qi|::|X| |qi|::|Body|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|/@|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Body|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|full_application?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5872| |qi|::|V5873|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|map|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5879| |qi|::|V5880|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|arityf|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|FUNC|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*arity*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|initialise_arity_table|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|new-assoc-type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|store_arities|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5883|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|store_arity|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|FUNC| |qi|::|N|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|do|)
(|SYSTEM|::|%PUTD| '|qi|::|do|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|do|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|LET*|
     ((|qi|::|X| (|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
     (|COMMON-LISP|::|BLOCK| |qi|::|do|
      (|COMMON-LISP|::|CONS| '|COMMON-LISP|::|PROGN| |qi|::|X|)))))
  '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*sfht*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|setup-base-types|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|setup-sfht|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|L|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|newfuntype|)
(|SYSTEM|::|%PUTD| '|qi|::|newfuntype|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|newfuntype|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 3. 3.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|F| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|Type| (|COMMON-LISP|::|CADDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|newfuntype|
       `(|qi|::|newfuntype*| ',|qi|::|F| ',|qi|::|Type|))))))
  '(|qi|::|F| |qi|::|Type|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|newfuntype*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|F| |qi|::|Type|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|record_type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|FUNC| |COMMON-LISP|::|TYPE|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|warn|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|String|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|strong-warning|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|variant?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|NEW| |qi|::|OLD|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|variable?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|add-to-type-discipline|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|FUNC| |COMMON-LISP|::|TYPE|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|st_code|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Type|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|bld_st_code|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Vs| |qi|::|Type|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|st_code*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Variables| |qi|::|Type|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|destroy|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Func|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*Failure*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|F| |qi|::|X|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|defcc|)
(|SYSTEM|::|%PUTD| '|qi|::|defcc|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|defcc|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 2. 2.
       |COMMON-LISP|::|T|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|Symbol| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|CC_stuff| (|COMMON-LISP|::|CDDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|defcc|
       (|COMMON-LISP|::|LIST| '|qi|::|compile_cc|
        (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|QUOTE| |qi|::|Symbol|)
        (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|QUOTE| |qi|::|CC_stuff|)))))))
  '(|qi|::|Symbol| |COMMON-LISP|::|&REST| |qi|::|CC_stuff|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_cc|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Symbol| |qi|::|CC_Stuff|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|split_cc_rules|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|CCstuff| |qi|::|RevRule|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|split_cc_rule|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Rule| |qi|::|RevSyntax|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|default_semantics|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Syntax|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|cc_body|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Rule|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|syntax|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Syntax| |qi|::|Stream| |qi|::|Semantics|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|close_proc?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Fragment|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|grammar_symbol?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Fragment|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|recursive_descent|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Syntax| |qi|::|Stream| |qi|::|Semantics|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|list_call?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Fragment|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|cons_structure?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Fragment|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|decons|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Fragment|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|list_call|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Syntax| |qi|::|Stream| |qi|::|Semantics|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|terminal?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Fragment|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|check_stream|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Syntax| |qi|::|Stream| |qi|::|Semantics|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|eos?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Fragment|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|jump_stream?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Fragment|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|check_eos|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Syntax| |qi|::|Stream| |qi|::|Semantics|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|jump_stream|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Syntax| |qi|::|Stream| |qi|::|Semantics|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|semantics|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Semantics|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rest_stream?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Semantics|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<e>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|failure?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|cases|)
(|SYSTEM|::|%PUTD| '|qi|::|cases|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|cases|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|LET*|
     ((|qi|::|X| (|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
     (|COMMON-LISP|::|BLOCK| |qi|::|cases|
      (|COMMON-LISP|::|IF| (|COMMON-LISP|::|NULL| |qi|::|X|) '|qi|::|*Failure*|
       `(|COMMON-LISP|::|LET| ((|qi|::|Y| ,(|COMMON-LISP|::|CAR| |qi|::|X|)))
         (|COMMON-LISP|::|IF| (|qi|::|failure?| |qi|::|Y|)
          ,(|COMMON-LISP|::|CONS| '|qi|::|cases|
            (|COMMON-LISP|::|CDR| |qi|::|X|))
          |qi|::|Y|)))))))
  '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|dump|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|load|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|File|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|load-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|File|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|macroexpand|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|evaluate_file_contents|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Contents|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|scan_for_signatures|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Expr|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|definition?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Expr|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|extract_signature|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Name| |qi|::|Body|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|extract_signature*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Name| |qi|::|Body|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|write-to-file|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Filename| |qi|::|Output|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|delete-file|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Filename|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|input|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|eval|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5360|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lisp-macro?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5366|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|macro?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5896|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|input+|)
(|SYSTEM|::|%PUTD| '|qi|::|input+|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|input+|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 3. 3.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|Colon| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|Type| (|COMMON-LISP|::|CADDR| . #1#)))
      (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |qi|::|Colon|))
      (|COMMON-LISP|::|BLOCK| |qi|::|input+|
       (|COMMON-LISP|::|LIST| '|qi|::|input+help|
        (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|QUOTE| |qi|::|Type|)))))))
  '(|qi|::|Colon| |qi|::|Type|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|input+help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V3461|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-file-as-charlist|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|File|)))
(|SYSTEM|::|C-PROCLAIM|
 '(|COMMON-LISP|::|SPECIAL| |qi|::|*qi_home_directory*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|cd|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|String|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-file|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Filename|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lineread|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|eof?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5494| |qi|::|V5495| |qi|::|V5496| |qi|::|V5497| |qi|::|V5498|
    |qi|::|V5499| |qi|::|V5500| |qi|::|V5501|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|endinput?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5556| |qi|::|V5557| |qi|::|V5558| |qi|::|V5559| |qi|::|V5560|
    |qi|::|V5561| |qi|::|V5562| |qi|::|V5563|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-user-input|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5360| |qi|::|V5361| |qi|::|V5362| |qi|::|V5363| |qi|::|V5364|
    |qi|::|V5365| |qi|::|V5366| |qi|::|V5367| |qi|::|V5368|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|recurse-let|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V7|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|mlet|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|map-dotted-pair|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V96| |qi|::|V97|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-user-input-stream|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|peek|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|seperator?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5940|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|inc|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5942|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|dec|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5947|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|incl|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5372| |qi|::|V5373|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|assemble-chars|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V4110| |qi|::|V4111| |qi|::|V4112| |qi|::|V4113| |qi|::|V4114|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|cons_form|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6003|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|atsign?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|error|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP|::|&REST| |qi|::|ARGS|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|make-string|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP|::|&REST| |qi|::|ARGS|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|output|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP|::|&REST| |qi|::|ARGS|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|sanitise-string|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|String|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|sanitise-string-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5362| |qi|::|V5363| |qi|::|V5364|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|find_matching_paren|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5389| |qi|::|V5390| |qi|::|V5391| |qi|::|V5392|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|isolated_nil?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5374| |qi|::|V5375|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|print|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6008|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|outputrb|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP|::|&REST| |qi|::|ARGS|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|number?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|string?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|character?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|boolean?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|integer?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|complex?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|float?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|real?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rational?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|sqrt|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|random|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|round|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|congruent?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|qi_=|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|==|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|qi_>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|qi_<|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|qi_>=|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|qi_<=|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|if-without-checking|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|String|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|if-with-checking|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|String|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|if|)
(|SYSTEM|::|%PUTD| '|qi|::|if|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|if|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 4. 4.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|X| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|Y| (|COMMON-LISP|::|CADDR| . #1#))
       (|qi|::|Z| (|COMMON-LISP|::|CADDDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|if|
       `(|COMMON-LISP|::|LET| ((|qi|::|*C*| ,|qi|::|X|))
         (|COMMON-LISP|::|COND|
          ((|COMMON-LISP|::|EQ| |qi|::|*C*| '|qi|::|true|) ,|qi|::|Y|)
          ((|COMMON-LISP|::|EQ| |qi|::|*C*| '|qi|::|false|) ,|qi|::|Z|)
          (|COMMON-LISP|::|T|
           (|COMMON-LISP|::|ERROR| "~S is not a boolean~%" |qi|::|*C*|)))))))))
  '(|qi|::|X| |qi|::|Y| |qi|::|Z|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|and|)
(|SYSTEM|::|%PUTD| '|qi|::|and|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|and|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 3. 3.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|X| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|Y| (|COMMON-LISP|::|CADDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|and|
       `(|qi|::|if| ,|qi|::|X|
         (|qi|::|if| ,|qi|::|Y| '|qi|::|true| '|qi|::|false|)
         '|qi|::|false|))))))
  '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|or|)
(|SYSTEM|::|%PUTD| '|qi|::|or|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|or|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 3. 3.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|X| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|Y| (|COMMON-LISP|::|CADDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|or|
       `(|qi|::|if| ,|qi|::|X| '|qi|::|true|
         (|qi|::|if| ,|qi|::|Y| '|qi|::|true| '|qi|::|false|)))))))
  '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|not|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|element?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|x| |qi|::|y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|subst|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y| |qi|::|Z|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|remove|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|x| |qi|::|y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|difference|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|x| |qi|::|y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|assoc|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|x| |qi|::|y|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|let|)
(|SYSTEM|::|%PUTD| '|qi|::|let|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|let|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 4. 4.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|VAR| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|VAL| (|COMMON-LISP|::|CADDR| . #1#))
       (|qi|::|EXPR| (|COMMON-LISP|::|CADDDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|let|
       (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|LET|
        (|COMMON-LISP|::|LIST| (|COMMON-LISP|::|LIST| |qi|::|VAR| |qi|::|VAL|))
        |qi|::|EXPR|))))))
  '(|qi|::|VAR| |qi|::|VAL| |qi|::|EXPR|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|list|)
(|SYSTEM|::|%PUTD| '|qi|::|list|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|list|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|LET*|
     ((|qi|::|X| (|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
     (|COMMON-LISP|::|BLOCK| |qi|::|list|
      (|COMMON-LISP|::|CONS| '|COMMON-LISP|::|LIST| |qi|::|X|)))))
  '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|y-or-n?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|empty?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|x|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|value|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|length|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|nth|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|N| |qi|::|L|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|concat|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|append|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|reverse|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|set|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|cons|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|@c|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|cons?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|time|)
(|SYSTEM|::|%PUTD| '|qi|::|time|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|time|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 2. 2.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|X| (|COMMON-LISP|::|CADR| |SYSTEM|::|<MACRO-FORM>|)))
      (|COMMON-LISP|::|BLOCK| |qi|::|time|
       (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|TIME| |qi|::|X|))))))
  '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|implementation_error|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Func|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|explode|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|head|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|tail|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|save|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|quit|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-char|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-chars-as-stringlist|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V164| |qi|::|V165|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-chars-as-stringlist*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V192| |qi|::|V193| |qi|::|V194| |qi|::|V195|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|make-array|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|dims|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|get-array|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|array| |qi|::|dims| |qi|::|default|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|put-array|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|array| |qi|::|dims| |qi|::|value|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|put-prop|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Ob| |qi|::|Pointer| |qi|::|Value|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|get-prop|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Ob| |qi|::|Pointer| |qi|::|Default|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|typechecks?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1| |qi|::|V2| |qi|::|V3|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|exempted?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|normalise_type_env|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6041|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|list->cons|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6043|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|to-goals|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V3377| |qi|::|V3378|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|from-goals|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V4484|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|notes-in|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6055|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|normalise_type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6056|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|normalise_type*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V169|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|synonyms|)
(|SYSTEM|::|%PUTD| '|qi|::|synonyms|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|synonyms|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|LET*|
     ((|qi|::|X| (|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
     (|COMMON-LISP|::|BLOCK| |qi|::|synonyms|
      (|COMMON-LISP|::|LIST| '|qi|::|synonym-help|
       (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|QUOTE| |qi|::|X|))))))
  '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|synonym-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5368|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|even?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5378|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-synonym|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5379| |qi|::|V5380| |qi|::|V5381| |qi|::|V5382|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|test-valid-synonym?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5383|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|predefined_type?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5384|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|system_type?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5386|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|theory-size|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6066|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|maxinferences|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6067|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|get-rule|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6075| |qi|::|V6076|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|identity|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6077|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|curry|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6078|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|map_base_type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6084|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|symbol?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|place_holder?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|special_form?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6085|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|specialise|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6087|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|unspecialise|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6088|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*special_forms*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|occurs?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6298| |qi|::|V6299|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|qi|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-evaluate-print|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|licence|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|agree|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|disagree|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|lookat-GPL|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|record_input_on_history|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|initialise_environment|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|version|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|String|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|credit|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*tc*|))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*history*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|tc|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6583|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|prompt|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|toplevel|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5423|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|history-call?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5428|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|call_history|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5440|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|findcallfunc|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5360|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|print_by_name|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5381| |qi|::|V5382| |qi|::|V5383|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|print_all|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5450| |qi|::|V5451|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|print_command|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5452| |qi|::|V5453|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|print_by_number|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5471| |qi|::|V5472| |qi|::|V5473|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|call_by_number|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5504| |qi|::|V5505| |qi|::|V5506|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|call_by_name|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|N| |qi|::|V5518| |qi|::|V5519|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|return_past_command|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Chars|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|toplevel_evaluate|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5366|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|print-with-type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5595| |qi|::|V5596|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|prefix?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V125| |qi|::|V126|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|store_in_history|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*alphabet*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|pretty_type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6688|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|mult_subst|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V6693| |qi|::|V6694| |qi|::|V6695|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|track|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6696|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|source_code|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6697|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|track_function|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V23|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_tracking_code|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V6704| |qi|::|V6705| |qi|::|V6706|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*step*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|step|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|terpri_or_read_char|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|check_char|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6711|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|input_track|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V6712| |qi|::|V6713| |qi|::|V6714|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|spaces|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6715|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|output_track|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V6716| |qi|::|V6717| |qi|::|V6718|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|untrack|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6719|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|debug|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|undebug|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|profile|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6720|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|profile-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V37|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|unprofile|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6731|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|profile_func|)
(|SYSTEM|::|%PUTD| '|qi|::|profile_func|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|profile_func|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 3. 3.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|F| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|EXPR| (|COMMON-LISP|::|CADDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|profile_func|
       `(|COMMON-LISP|::|PROGN|
         (|COMMON-LISP|::|LET*|
          ((|qi|::|START| (|COMMON-LISP|::|GET-INTERNAL-RUN-TIME|))
           (|qi|::|RESULT| ,|qi|::|EXPR|)
           (|qi|::|FINISH|
            (|COMMON-LISP|::|-| (|COMMON-LISP|::|GET-INTERNAL-RUN-TIME|)
             |qi|::|START|)))
          (|qi|::|put-prop| '|qi|::|profile-stats| ',|qi|::|F|
           (|COMMON-LISP|::|+|
            (|qi|::|get-prop| '|qi|::|profile-stats| ',|qi|::|F| 0.)
            |qi|::|FINISH|))
          |qi|::|RESULT|)))))))
  '(|qi|::|F| |qi|::|EXPR|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|profile-results|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|calibrate-profile|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6732|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|calibrate|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Time|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*atp-credits*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|inferences|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6755|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*spy*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|spy|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*inferences*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|display-mode|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Flag|)))
(|SYSTEM|::|C-PROCLAIM| '(|COMMON-LISP|::|SPECIAL| |qi|::|*display-rb*|))
(|SYSTEM|::|C-DEFUN| '|qi|::|fst-ass|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6814|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fst-conc|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6823|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|thm-intro|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6826|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|retrieve_theorem|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|generalise|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V625|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|generalise*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6845| |qi|::|V6846|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|test_for_constant?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|remove-if|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6854| |qi|::|V6855|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|thm_intro1|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V946| |qi|::|V947|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|exchange|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V6871| |qi|::|V6872| |qi|::|V6873|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|exchange1|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V6882| |qi|::|V6883| |qi|::|V6884|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_nth|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V6888| |qi|::|V6889| |qi|::|V6890|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|unsolved_goals|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6915|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|atp-credits|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6917|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|atp-prompt|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6918|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|sequents-in|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6923|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|prf|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6930|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|unprf|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6931|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|prf1|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V57|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|update-proof-if-needed|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V1892| |qi|::|V1893| |qi|::|V1894|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|structure|)
(|SYSTEM|::|%PUTD| '|qi|::|structure|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|structure|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|LET*|
     ((|qi|::|X| (|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
     (|COMMON-LISP|::|BLOCK| |qi|::|structure|
      (|COMMON-LISP|::|LIST| '|qi|::|struct1|
       (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|QUOTE| |qi|::|X|))))))
  '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|struct1|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6970|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|struct-syntax-check|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6973| |qi|::|V6974|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|struct-syntax-check1|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6983|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|add-recognisor-type-discipline|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6984|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|add-constructor-type-discipline|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6985| |qi|::|V6986|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|structure_types|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6993| |qi|::|V6994|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|add-to-type-discipline-selectors|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6996| |qi|::|V6997|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|add-recognisor-function|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V6999|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|make-structure|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V7000| |qi|::|V7001|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|remove_types_from_struct|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V7007|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|defprolog|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5584|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-prolog-syntax|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5585|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process-prolog-chars|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1| |qi|::|V2|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|divide-clauses|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V10930| |qi|::|V10931|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process_clause|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5360|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|convert_terms|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5362|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|remove_redundant_modes|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5368|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|convert_term|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5379| |qi|::|V5380|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|predicate?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V315|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process_literal|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5360|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rename_pred|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V319|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process_body|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5362|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-prolog|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5360|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|test-for-naive-abs|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5361|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|complexity|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5362|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|complexity*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5382| |qi|::|V5383|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|mode_complexity|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5386|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|naive-abs|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5387|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|assocterm|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5390|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|group_clauses|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5618|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|group_clauses_help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5619| |qi|::|V5620|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|place_in_group|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5623| |qi|::|V5624|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|belongs?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5637| |qi|::|V5638|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_clauses|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V62|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_catch|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V10941| |qi|::|V10942|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|uses_cut?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V10943|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|make_fparams|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5662|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fparams|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5668|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_clause|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5671| |qi|::|V5672|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|interpret_aum|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5360|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process_continuation|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|call-literal|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V4|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|eager-call?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V11|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lazy-call?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V16|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|map-eager|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V17|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|eagercalls|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V18|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lazycalls|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V23|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|eagerderefvars|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V34|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lazyderefvars|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V38|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|quote|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V42|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|list?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V55|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|anyof|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V58| |qi|::|V59|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|next-call|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V62|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|combine-into-continuation|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V63|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|enclose|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V64|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|ask|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V65|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|quote-variables|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V71| |qi|::|V72|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|answer_clause|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V73|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|answer*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Vars| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|call-prolog|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V85|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|return-T|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|when*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1039| |qi|::|V1040|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|eval*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1045| |qi|::|V1050|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|is*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V1051| |qi|::|V1052| |qi|::|V1053|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rename_vars|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5777|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|linearise_clause|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5789|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|first_rpted_var|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5790|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fpr-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5793|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|flatten|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5794|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|left_linearise_clause|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5795| |qi|::|V5796|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|unifpred|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|occurs-check|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V632|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rename_V|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5806| |qi|::|V5807| |qi|::|V5808|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|aum|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5811| |qi|::|V5812|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|continuation_call|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5815| |qi|::|V5816|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|free_variables_in_body|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5817| |qi|::|V5818|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fv_decl_help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5821| |qi|::|V5822|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|adjoin|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5825| |qi|::|V5826|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|free_variable_in?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5828| |qi|::|V5829|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|cc-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5832| |qi|::|V5833|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|make_mu_application|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5834| |qi|::|V5835|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|mu_reduction|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5384|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|remove_modes|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5410|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|ephemeral_variable?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5886| |qi|::|V5887|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|prolog_constant?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5902|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lazyderef|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|var?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|=*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|X| |qi|::|Y| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lzy=*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|X| |qi|::|Y| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|popstack|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|deref|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|x|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|boundvar?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|return*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Val| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|bind*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Var| |qi|::|Val| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fail*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|==*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|X| |qi|::|Y| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lzy==*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|X| |qi|::|Y| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|=!*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|X| |qi|::|Y| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|lzy=!*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|X| |qi|::|Y| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|bagof*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Var| |qi|::|Pred| |qi|::|Terms| |qi|::|Out| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|store*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Var| |qi|::|Store|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|not*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Pred| |qi|::|Terms| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|call*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|F| |qi|::|Terms| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|typecheck*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|tt*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|FP3| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|all_typed?*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|split_cons*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|split_pair*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|by_hypothesis*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|FP3| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|member*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|monomorphic?*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|FP1| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|try_usetypes*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|FP3| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|show_checking*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|FP1| |qi|::|FP2| |qi|::|Continuation|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|typing?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V477|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|usertypes|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|substfree|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V1023| |qi|::|V1024| |qi|::|V1025|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|arbterm|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|spy?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|display_formula|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1026|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|pretty|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V889| |qi|::|V890|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|mapit|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1032| |qi|::|V1033|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|strip_&&|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1038|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|strip_&&_help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1046| |qi|::|V1047|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|elim_@c|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1048|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|carriage_return|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|wait_for_user|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|print_line|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|maximum_inferences_exceeded?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|error_max_inferences|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|abstype|)
(|SYSTEM|::|%PUTD| '|qi|::|abstype|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|abstype|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|IF|
     (|COMMON-LISP|::|NOT|
      (|SYSTEM|::|LIST-LENGTH-IN-BOUNDS-P| |SYSTEM|::|<MACRO-FORM>| 4. 4.
       |COMMON-LISP|::|NIL|))
     (|SYSTEM|::|MACRO-CALL-ERROR| |SYSTEM|::|<MACRO-FORM>|)
     (|COMMON-LISP|::|LET*|
      ((|qi|::|Type| (|COMMON-LISP|::|CADR| . #1=(|SYSTEM|::|<MACRO-FORM>|)))
       (|qi|::|Rules| (|COMMON-LISP|::|CADDR| . #1#))
       (|qi|::|Defs| (|COMMON-LISP|::|CADDDR| . #1#)))
      (|COMMON-LISP|::|BLOCK| |qi|::|abstype|
       `(|COMMON-LISP|::|PROGV| '(|qi|::|*tc*|) '(|qi|::|false|)
         (|qi|::|abstype*| ',|qi|::|Type| ',|qi|::|Rules| ',|qi|::|Defs|)))))))
  '(|qi|::|Type| |qi|::|Rules| |qi|::|Defs|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|abstype*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V941| |qi|::|V942| |qi|::|V943|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process_type_declarations|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5374|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|preclude|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5377|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|include|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5378|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|preclude-all-but|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5380|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|include-all-but|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5381|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|validate-usertypes|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5387|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|valid-usertype?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5388|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|datatype|)
(|SYSTEM|::|%PUTD| '|qi|::|datatype|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|datatype|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|LET*|
     ((|qi|::|X| (|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
     (|COMMON-LISP|::|BLOCK| |qi|::|datatype|
      (|COMMON-LISP|::|LIST| '|qi|::|datatype_help|
       (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|QUOTE| |qi|::|X|))))))
  '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|datatype_help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|DataType|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|warn-if-defined|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|DataTypeName|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|qi|::|theory|)
(|SYSTEM|::|%PUTD| '|qi|::|theory|
 (|SYSTEM|::|MAKE-MACRO|
  (|COMMON-LISP|::|FUNCTION| |qi|::|theory|
   (|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
    (|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
    (|COMMON-LISP|::|LET*|
     ((|qi|::|X| (|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
     (|COMMON-LISP|::|BLOCK| |qi|::|theory|
      (|COMMON-LISP|::|LIST| '|qi|::|theory_help|
       (|COMMON-LISP|::|LIST| '|COMMON-LISP|::|QUOTE| |qi|::|X|))))))
  '(|COMMON-LISP|::|&REST| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|theory_help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Theory|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<datatype_definition>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<theory>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<end>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V532|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<datatype_error>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<theory_error>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<A-rules>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|raise-datatype-syntax-error|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V533|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<B-rules>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|raise-theory-syntax-error|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V534|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<A-rule>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<B-rule>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<A-preamble>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<B-preamble>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<title>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<natnum>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<lowercase>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<side-conditions>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<side-condition>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<item1>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<item2>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<item>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<sequents>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<simple_sequents>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<simple_sequent>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<semi-colon>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<sequent>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<formulae>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<comma>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<formula>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<type>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<obs>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<ob>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|cons->@c|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V537|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<underline>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|<double_underline>|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Stream|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|double_underline?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V540|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|underlines?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V547|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|underline?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V548|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|double_underlines?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V555|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-theory|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V556| |qi|::|V557|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-theory-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V562| |qi|::|V563| |qi|::|V564|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-theory-rule|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V565| |qi|::|V566| |qi|::|V567|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|typecheck-refinement-rule|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V570| |qi|::|V571| |qi|::|V572|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|refinement-integrity-check|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V2330| |qi|::|V2331| |qi|::|V2332| |qi|::|V2333|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|refinement-correctness-check|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V2071| |qi|::|V2072| |qi|::|V2073| |qi|::|V2074| |qi|::|V2075|
    |qi|::|V2076|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|stvars-but-bound|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V595|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|raise-result-error|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V601| |qi|::|V602|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|refine|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Theory| |qi|::|N| |qi|::|Params| |qi|::|Goalstack|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|collect_or_return|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Goals|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|fail-if|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|F| |qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|collect|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|Theory| |qi|::|N| |qi|::|Parameters| |qi|::|Goals|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|@c-sequents|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V609|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|@c-wffs|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V611|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|construct_conclusion|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V612| |qi|::|V613|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|raise-premisses-error|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V616| |qi|::|V617|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|generate_refinement_function|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V618| |qi|::|V619| |qi|::|V620|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|grf*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V631| |qi|::|V632| |qi|::|V633|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rpt_times|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V643|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|constr_tactic_type|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V644|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process_asm_to_functions|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V645| |qi|::|V646|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-string|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V650|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process_constraint_functions|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V655|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|process_out_call|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V666|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compose_sequents|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V671|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|generate_search_function|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V673| |qi|::|V674| |qi|::|V675| |qi|::|V676|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-datatype|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V677| |qi|::|V678|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-datatype-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V679| |qi|::|V680|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|single_underline?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V685|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|unfold_double_underline|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V686|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_as_assumptions|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V692|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile_logic_string|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V693|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|compile-datatype-rule|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V694| |qi|::|V695|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|interp_asm|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5377| |qi|::|V5378|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_type_mode_decl|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5365|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|ia*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V701|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|generate_search_literal|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V710| |qi|::|V711| |qi|::|V712|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|generate_search_clause|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V713| |qi|::|V714| |qi|::|V715|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|ia-output|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V15|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|ia-sequents|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V724| |qi|::|V725|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|cons_each|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V727| |qi|::|V728|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|create_clause_head|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V729| |qi|::|V730|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|asm|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V731| |qi|::|V732|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|tail-sequent|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V741| |qi|::|V742| |qi|::|V743| |qi|::|V744| |qi|::|V745|
    |qi|::|V746|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|calculate_constraints|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V758| |qi|::|V759| |qi|::|V760| |qi|::|V761|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|intersection|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V769| |qi|::|V770|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|sides-sequent|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V180| |qi|::|V181| |qi|::|V182|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|out-sequents|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V776| |qi|::|V777|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|prooftool|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5689|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|enter_assumptions|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V783|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|well_formed?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V784|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|enter_format|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|insert_conses|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|enter_conclusion|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|prooftool_loop|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5699|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|stats|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|time-proof|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5378| |qi|::|V5379| |qi|::|V5380|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|solved?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5711|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|calculate-run-time|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|print-first-sequent|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5360|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|update-proof|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5716| |qi|::|V5717|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|print-sequent|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V5370| |qi|::|V5371| |qi|::|V5372| |qi|::|V5373| |qi|::|V5374|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|print-notes|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5379|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|display-wff|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5360|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|pr_rb?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|display-wffs|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V822| |qi|::|V823|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|read-tactic|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|prooftool_lineread|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|query_exit|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|qi|::|tactic?|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V824|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|extract_tactic|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V825|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|back|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V1241| |qi|::|V1242|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|thin|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V838| |qi|::|V839|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|thin*|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V852| |qi|::|V853|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|swap|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V854| |qi|::|V855| |qi|::|V856|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|rotate|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
  '(|qi|::|V863| |qi|::|V864| |qi|::|V865|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|dump-proof|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|Filename|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|dump-proof-help|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|V5371| |qi|::|V5372|)))
(|SYSTEM|::|C-DEFUN| ':|=|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|qi|::|X| |qi|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|qi|::|shadow|
 (|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
